infinite projection
A projection in a -algebra is said to be an infinite projection if it is Murray-von Neumann equivalent to a proper su projection of itself. In symbols, if such that . See Definition 5.1.1.